package com.Clause;

public class ClauseProxy {
	
	private ClauseElement element;
	
	public ClauseProxy(ClauseElement element){
		this.element = element;
	}
	
	public ClauseElement getElement(){
		return element;
	}
	
	public ClauseProxy getSuivant(){
		return element.getSuivant();
	}
	
	public void setElement(ClauseElement element){
		this.element = element;
	}
	
	public String toString(){
		return element.toString();
	}
	
	public String toPrologString(){
		return element.toPrologString();
	}

	public void setElement(ClauseProxy proxy) {
		this.element = proxy.element;
	}
}
